Invariant-Based Performance Analysis of Timed Petri Net Models
نویسنده
چکیده
In timed Petri nets, temporal properties are associated with transitions as transition firing times (or occurrence times). For net models which can be decomposed into a family of place invariants, performance analysis can be conveniently performed on the basis of its components. The paper presents an approach to finding place invariants of net models and proposes an incremental method which, for large models, can significantly reduce the required amount of computations.
منابع مشابه
Optimal Schedules of Manufacturing Cells — Modeling and Analysis Using Timed Petri Nets
A method for systematic generation of simple and composite schedules for a large class of manufacturing cells is presented. The generated schedules can easily be transformed into timed Petri net models, and these models evaluated using one of methods developed for analysis of timed Petri nets, for example, invariant analysis. Performance characterization (the cycle time or the throughput) obtai...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملTimed Petri Net Models of Flexible Manufacturing Cells
It is shown that a class of flexible manufacturing cells can be conveniently modeled and evaluated by timed Petri nets. For simple schedules, the modeling nets are covered by conflict–free invariant subnets, so the performance of the model is determined by the performance of its subnets. For composite schedules, the invariant subnets are free-choice, so a more elaborate approach to evaluating t...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کامل